Combining Texts

Ideas for 'works', 'fragments/reports' and 'What Required for Foundation for Maths?'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

17796

There is a semi-categorical axiomatisation of set-theory [Mayberry]

17795

Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

17800

The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets

17801

The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

17803

Limitation of size is part of the very conception of a set [Mayberry]